22

Pharmacokinetic study of baicalein after oral administration in monkeys

Year:
2012
Language:
english
File:
PDF, 482 KB
english, 2012
26

Loop invariant synthesis in a combined abstract domain

Year:
2013
Language:
english
File:
PDF, 386 KB
english, 2013